Fernández–Duque, David: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A geometric protocol for cryptography with cards

Cordón-Franco, Andrés, van Ditmarsch, Hans, Fernández-Duque, David, Soler-Toscano, Fernando

Journal:

Designs, Codes and Cryptography

Year:

2015

Language:

english

File:

PDF, 261 KB

english, 2015

2

Evidence and plausibility in neighborhood structures

van Benthem, Johan, Fernández-Duque, David, Pacuit, Eric

Journal:

Annals of Pure and Applied Logic

Year:

2014

Language:

english

File:

PDF, 469 KB

english, 2014

3

Mutational changes in S-cone opsin genes common to both nocturnal and cathemeral Aotus monkeys

David H. Levenson, Eduardo Fernandez-duque, Sian Evans, Gerald H. Jacobs

Journal:

American Journal of Primatology

Year:

2007

Language:

english

File:

PDF, 122 KB

english, 2007

4

Do Forest Composition and Fruit Availability Predict Demographic Differences Among Groups of Territorial Owl Monkeys (Aotus azarai)?

Griëtte van der Heide, Eduardo Fernandez-Duque, David Iriart, Cecilia Paola Juárez

Journal:

International Journal of Primatology

Year:

2012

Language:

english

File:

PDF, 379 KB

english, 2012

5

STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES

AGUILERA, JUAN P., FERNÁNDEZ-DUQUE, DAVID

Journal:

Journal of Symbolic Logic

Year:

2017

Language:

english

File:

PDF, 292 KB

english, 2017

6

Dynamic Topological Logic Interpreted over Minimal Systems

David Fernández-Duque

Journal:

Journal of Philosophical Logic

Year:

2011

Language:

english

File:

PDF, 628 KB

english, 2011

7

On the Modal Definability of Simulability by Finite Transitive Models

David Fernández Duque

Journal:

Year:

2011

Language:

english

File:

PDF, 284 KB

english, 2011

8

Tangled modal logic for topological dynamics

David Fernández-Duque

Journal:

Annals of Pure and Applied Logic

Year:

2012

Language:

english

File:

PDF, 308 KB

english, 2012

9

Preface

Hans van Ditmarsch, David Fernández Duque, Valentin Goranko, Wojtek Jamroga, Manuel Ojeda-Aciego

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 113 KB

english, 2011

10

On Provability Logics with Linearly Ordered Modalities

Lev D. Beklemishev, David Fernández-Duque, Joost J. Joosten

Journal:

Year:

2014

Language:

english

File:

PDF, 362 KB

english, 2014

11

Hyperations, Veblen progressions and transfinite iteration of ordinal functions

Fernández-Duque, David, Joosten, Joost J.

Journal:

Annals of Pure and Applied Logic

Year:

2013

Language:

english

File:

PDF, 262 KB

english, 2013

12

The polytopologies of transfinite provability logic

Fernández-Duque, David

Journal:

Archive for Mathematical Logic

Year:

2014

Language:

english

File:

PDF, 535 KB

english, 2014

13

Downregulation of IRS-1 in adipose tissue of offspring of obese mice is programmed cell-autonomously through post-transcriptional mechanisms

Fernandez-Twinn, Denise S., Alfaradhi, Maria Z., Martin-Gronert, Malgorzata S., Duque-Guimaraes, Daniella E., Piekarz, Ana, Ferland-McCollough, David, Bushell, Martin, Ozanne, Susan E.

Journal:

Molecular Metabolism

Year:

2014

Language:

english

File:

PDF, 616 KB

english, 2014

14

A colouring protocol for the generalized Russian cards problem

Cordón-Franco, Andrés, van Ditmarsch, Hans, Fernández-Duque, David, Soler-Toscano, Fernando

Journal:

Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 320 KB

english, 2013

15

Models of transfinite provability logic

Fernández-Duque, David, Joosten, Joost J.

Journal:

Journal of Symbolic Logic

Year:

2013

Language:

english

File:

PDF, 199 KB

english, 2013

16

Dynamic topological logic of metric spaces

Fernández-Duque, David

Journal:

Journal of Symbolic Logic

Year:

2012

Language:

english

File:

PDF, 1.11 MB

english, 2012

17

Non-finite axiomatizability of dynamic topological logic

Fernández-Duque, David

Journal:

ACM Transactions on Computational Logic

Year:

2014

Language:

english

File:

PDF, 290 KB

english, 2014

18

Secure aggregation of distributed information: How a team of agents can safely share secrets in front of a spy

Fernández-Duque, David, Goranko, Valentin

Journal:

Discrete Applied Mathematics

Year:

2016

Language:

english

File:

PDF, 528 KB

english, 2016

19

Perfectly secure data aggregation via shifted projections

Fernández-Duque, David

Journal:

Information Sciences

Year:

2016

Language:

english

File:

PDF, 562 KB

english, 2016

20

A case study in almost-perfect security for unconditionally secure communication

Landerreche, Esteban, Fernández-Duque, David

Journal:

Designs, Codes and Cryptography

Year:

2017

Language:

english

File:

PDF, 609 KB

english, 2017

21

Forgetting complex propositions

Fernández–Duque, David, Nepomuceno–Fernández, Ángel, Sarrión–Morrillo, Enrique, Soler–Toscano, Fernando, Velázquez–Quesada, Fernando R.

Journal:

Logic Journal of IGPL

Year:

2015

Language:

english

File:

PDF, 694 KB

english, 2015

22

Compliance With a Sepsis Bundle and Its Effect on Intensive Care Unit Mortality in Surgical Septic Shock Patients

Pestaña, David, Espinosa, Elena, Sangüesa-Molina, Julio R., Ramos, Raquel, Pérez-Fernández, Elia, Duque, Marta, Martínez-Casanova, E.

Journal:

The Journal of Trauma Injury Infection and Critical Care

Year:

2010

Language:

english

File:

PDF, 234 KB

english, 2010

23

On the Modal Definability of Simulability by Finite Transitive Models

David Fernández Duque

Journal:

Year:

2011

Language:

english

File:

PDF, 1.69 MB

english, 2011

24

A sound and complete axiomatization for Dynamic Topological Logic

Fernández-Duque, David

Journal:

Journal of Symbolic Logic

Year:

2012

Language:

english

File:

PDF, 233 KB

english, 2012

25

Genetic Dissection of the Impact of miR-33a and miR-33b during the Progression of Atherosclerosis

Price, Nathan L., Rotllan, Noemi, Canfrán-Duque, Alberto, Zhang, Xinbo, Pati, Paramita, Arias, Noemi, Moen, Jack, Mayr, Manuel, Ford, David A., Baldán, Ángel, Suárez, Yajaira, Fernández-Hernando, Carl

Journal:

Year:

2017

Language:

english

File:

PDF, 4.74 MB

english, 2017

26

The omega-rule interpretation of transfinite provability logic

Fernández-Duque, David, Joosten, Joost J.

Journal:

Annals of Pure and Applied Logic

Year:

2017

Language:

english

File:

PDF, 1.85 MB

english, 2017

27

The Dynamics of Epistemic Attitudes in Resource-Bounded Agents

Balbiani, Philippe, Fernández-Duque, David, Lorini, Emiliano

Journal:

Year:

2018

Language:

english

File:

PDF, 664 KB

english, 2018

28

Breeding biology during the nestling period at a Black-crowned Pitta Erythropitta ussheri nest

Gulson-Castillo, Eric R., Dreelin, R. Andrew, Fernandez-Duque, Facundo, Greig, Emma I., Hite, Justin M., Orzechowski, Sophia C., Smith, Lauren K., Wallace, Rachel T., Winkler, David W.

Year:

2017

Language:

english

File:

PDF, 4.27 MB

english, 2017

29

Verification logic

Aguilera, Juan Pablo, Fernández-Duque, David

Journal:

Journal of Logic and Computation

Year:

2017

Language:

english

File:

PDF, 247 KB

english, 2017

30

Egg oiling as an effective management technique for limiting reproduction in an invasive passerine

Fernandez-Duque, Facundo, Bailey, Robyn L., Bonter, David N.

Journal:

Avian Conservation and Ecology

Year:

2019

File:

PDF, 562 KB

2019